Automatic Generation and Targeting of Application Specific Operating Systems and Embedded Systems Software
ثبت نشده
چکیده
We propose a method of automatic generation of application specific operating systems (OS’s) and automatic targeting of application software. OS generation starts from a very small but yet flexible OS kernel. OS services, which are specific to the application and deduced from dependency between services, are added to the kernel to construct the whole OS. Communication and synchronization functions in the application code are adapted to the generated OS. As a preliminary experiment, we applied the proposed method to a system example called token ring system.
منابع مشابه
Automatic Targeting of Embedded Systems Software with Application Specific Operating Systems Generation
We propose a method of automatic generation of application specific operating systems (OS’s) and automatic targeting of application software. OS generation starts from a very small but yet flexible OS kernel. OS services, which are specific to the application and deduced from dependency between services, are added to the kernel to construct the whole OS. Communication and synchronization functi...
متن کاملAutomatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for mobile and ubiquitous systems. In this work, we present the internal architecture and design flow of a newly proposed framework called Verifiable Embedded Real-Time Application Framework (VERTAF), which integrates three...
متن کاملObject-based hardware/software component interconnection model for interface design in system-on-a-chip circuits
The design of system-on-a-chip (SoC) circuits requires the integration of complex hardware/software components that are customized to efficiently execute a specific application. Nowadays, these components include many different embedded processors executing concurrent software tasks. In this paper, we present an object-based component interconnection model to represent both hardware and softwar...
متن کاملVerifiable Embedded Real-Time Application Framework
Currently available application frameworks that target at the automatic design of real-time embedded software are poor in integrating functional and nonfunctional requirements for real-time embedded systems. In this work, we present the internal architecture and design flow of a newly proposed framework called Verifiable Embedded Real-Time Application Framework (VERTAF), which integrates three ...
متن کاملApplication of Stochastic Programming to Determine Operating Reserves with Considering Wind and Load Uncertainties
Wind power generation is variable and uncertain. In the power systems with high penetration of wind power, determination of equivalent operating reserve is the main concern of systems operator. In this paper, a model is proposed to determine operating reserves in simultaneous market clearing of energy and reserve by stochastic programming based on scenarios generated via Monte Carlo simulation ...
متن کامل